We study a class of [0,1][0,1]-valued logics. The main result of the paper is a maximality theorem that characterizes these logics in terms of a model-theoretic property, namely, an extension of the omitting types theorem to uncountable languages.

We study connections between asymptotic structure in a Banach space and model theoretic properties of the space. We show that, in an asymptotic sense, a sequence $$ in a Banach space X generates copies of one of the classical sequence spaces $\ell_p$ or $c_0$ inside X if and only if the quantifier-free types approximated by $$ inside X are quantifier-free definable. More precisely, if $$ is a bounded sequence X such that no normalized sequence of blocks of $$ converges, then (...) the following two conditions are equivalent. There exists a sequence $$ of blocks of $$ such that for every finite dimensional subspace E of X, every quantifier-free type over $E +\overline{\rm span}\{y_n\mid n\in \mathbb{N}\}$ is quantifier-free definable. One of the following two conditions holds: there exists $1\le p 0$ and every finite dimensional subspace E of X there exists a sequence of blocks of $$ which is $$-equivalent over E to the standard unit basis of $\ell_p$; for every $\epsilon>0$ and every finite dimensional subspace E of X there exists a sequence of blocks of $$ which is $$-equivalent over E to the standard unit basis of $c_0$. Several byproducts of the proof are analyzed. (shrink)

O trabalho apresenta o encaminhamento dado ao fato kantiano da razão em dois artigos recentes e retoma, a seguir, a discussão em torno do sentimento do respeito pela lei moral para concluir que a concepção fichteana de razão prática configura o primeiro mal-entendido do Faktum.

A incorporação econômica gradual da livre circulação de bens, pessoas, serviço ou capitais e a paulatina reengenharia da homogeneização tecnológica e social dos povos da terra não dispensam uma concepção política prévia do sumo bem político que consiste na paz perpétua. O artigo tem por objeto o contratualismo kantiano e trata das formas organizacionais planetárias de Kant. O texto busca esclarecer como Kant vê, elabora e soluciona o problema de um dever moral condenado a acercar-se progressivamente de um ideal racional (...) que permanece historicamente desconhecido. Para o autor, Kant traça o tempo da história segundo o esquema da razão do direito. (shrink)

O ensaio expõe a posição kantiana tardia em relação ao direito e à ética, comdestaque para as noções de direito subjetivo e de dever jurídico interno. Trata-se de mostrar aoriginalidade de Kant na última versão redacional das doutrinas do direito e da virtude. Otrabalho realça a contribuição do direito racional kantiano para os limites da dogmática jurídicaatual em face da crescente juridificação das ciências normativas.

O ensaio expõe a posição kantiana tardia em relação ao direito e à ética, com destaque para as noções de direito subjetivo e de dever jurídico intemo. Trata-se de mostrar a originalidade de Kant na última versão redacional das doutrinas do direito e da virtude. O trabalho realça a contribuição do direito racional kantiano para os limites da dogmática jurídica atual em face da crescente juridificação das ciênciasnormativas.

SÍNTESE - o artigo sumaria o modo peculiar como Kant lida com o estado de natureza hobbesiano e estabelece o espaço público do meum vel tuum extemum na Doutrina do Direito. O texto visa realçar a originalidade de Kant como filósofo político.

A Doutrina do direito apenas nas últimas décadas voltou a merecer o interesse dos estudiosos da filosofia. O presente texto procura mostrar a filiação iluminista da ciência kantiana do direito. O artigo privilegia o caráter racional das concepções jurídicas do pensador alemão.

Neste artigo, o autor apresenta osproblemas relacionados ao jusnaturalismo -posição que prescreve um conjunto de normaspara a conduta humana, anteriores àquilo que éfixado pelo Estado.

O artigo retoma a interpretação de Macpherson do estado natural e a confronta com a concepção hobbesiana da verdadeira liberdade dos súditos. O trabalho expõe os desafios teóricos do fisicalismo vital na obra de Hobbes e assume e posição de que o teórico político inglês não prova que os homens evitam pela luta e ou pela fuga a morte violenta movidos unicamente por uma necessidade natural.

A Doutrina do direito é um dos últimos trabalhos de Kant. Recomposto para uma nova editoração, o texto tem merecido a atenção de e teóricos do direito. A presente contribuição examina a repercussão da obra jurídica de Kant nos escritos recentes de Tugendhat, um dos críticos mais notórios do pensamento kantiano. O artigo privilegia asrelações entre direito e moral, procura dar uma feição mais nítida à chamada razão trivial, tendo em vista as clássicas objeções de Hegel à razão prática kantiana.

A incorporação econômica gradual da livre circulação de bens, pessoas, serviço ou capitais e a paulatina reengenharia da homogeneização tecnológica e social dos povos da terra não dispensam uma concepção política prévia do sumo bem político que consiste na paz perpétua. O artigo tem por objeto o contratualismo kantiano e trata das formas organizacionais planetárias de Kant. O texto busca esclarecer como Kant vê, elabora e soluciona o problema de um dever moral condenado a acercar-se progressivamente de um ideal racional (...) que permanece historicamente desconhecido. Para o autor, Kant traça o tempo da história segundo o esquema da razão do direito. (shrink)

Para Kant, a luta pelo aprimoramento do direito é travada com as armas da argumentação. Trata-se de emancipar a comunidade jurídica da tutela oriunda do senhorio violento das origens. rumo ao Estado republicano. O processo desemboca na constituição de um Estado estabelecido pela união de uma multidão de seres humanos submetida a leis de direito, no qual o povo exerce, na figura de seus representantes, a soberania e os poderes da República estão comprometidos com a eficácia do direito. O artigo (...) expõe tópicos do pensamento político do pensador alemão e destaca traços relevantes da filosofia da história no Kant tardio. O trabalho visa contribuir para o debate político, jurídico e filosó-fico atual sobre globalização e o futuro do Estado nacional de direito. (shrink)

O artigo inicia com o enfoque do absolutismo hobbesiano à luz da doutrina tradicional do direito natural. A seguir expõe a complexa relaçáo de Hobbes com a democracia e a noçáo hobbesiana de representaçáo política. Depois de reconstruir algumas das objeções básicas de Hobbes ao pensamento político clássico, o texto procura mostrar que o filósofo inglês opera, em relaçáo a Aristóteles, com um conceito relativamente inalterado de natureza. Objetivo maior do trabalho é configurar o Estado como produto genuíno do desempenho (...) intelectual do teórico político inglês. (shrink)

Business students from the three NAFTA countries were shown a possible Sexual Harassment scenario from Arthur Andersen's Business Ethics Program. They were asked to respond to a pre-questionnaire concerning the three characters' behaviors and possible actions and a post-questionnaire after writing a report from the points of view of the three characters in the scenario. The students were asked to consider whether the characters should report the possible harasser to their supervisor, and thus engage in whistle-blowing behavior, as well as (...) directly confront the harasser. Hypotheses are formulated for the three NAFTA countries based on Hofstede's cultural dimensions. There were significant differences, but in some cases not in the direction expected. Gender differences are also explored, but there were few significant differences. (shrink)

In this paper we analyze some aspects of the question of using methods from model theory to study structures of functional analysis.By a well known result of P. Lindström, one cannot extend the expressive power of first order logic and yet preserve its most outstanding model theoretic characteristics (e.g., compactness and the Löwenheim-Skolem theorem). However, one may consider extending the scope of first order in a different sense, specifically, by expanding the class of structures that are regarded as models (e.g., (...) including Banach algebras or other structures of functional analysis), and ask whether the resulting extensions of first order model theory preserve some of its desirable characteristics.A formal framework for the study of structures based on Banach spaces from the perspective of model theory was first introduced by C. W. Henson in [8] and [6]. Notions of syntax and semantics for these structures were defined, and it was shown that using them one obtains a model theoretic apparatus that satisfies many of the fundamental properties of first order model theory. For instance, one has compactness, Löwenheim-Skolem, and omitting types theorems. Further aspects of the theory, namely, the fundamentals of stability and forking, were first introduced in [10] and [9].The classes of mathematical structures formally encompassed by this framework are normed linear spaces, possibly expanded with additional structure,e.g., operations, real-valued relations, and constants. This notion subsumes wide classes of structures from functional analysis. However, the restriction that the universe of a structure be a normed space is not necessary. (This restriction has a historical, rather than technical origin; specifically, the development of the theory was originally motivated by questions in Banach space geometry.) Analogous techniques can be applied if the universe is a metric space. Now, when the underlying metric topology is discrete, the resulting model theory coincides with first order model theory, so this logic extends first order in the sense described above. Furthermore, without any cost in the mathematical complexity, one can also work in multi-sorted contexts, so, for instance, one sort could be an operator algebra while another is. say, a metric space. (shrink)

We introduce the concepts of Morley rank and Morley degree for structures based on Banach spaces. We characterize ω-stability in terms of Morley rank, and prove the existence of prime models for ω-stable theories.

The role played by real-valued functions in functional analysis is fundamental. One often considers metrics, or seminorms, or linear functionals, to mention some important examples. We introduce the notion of definable real-valued function in functional analysis: a real-valued function f defined on a structure of functional analysis is definable if it can be "approximated" by formulas which do not involve f. We characterize definability of real-valued functions in terms of a purely topological condition which does not involve logic.

We show that a formula φ(x, y) is stable if and only if φ is the pairing map on the unit ball of E x E * , where E is a reflexive Banach space. The result remains true if the formula φ is replaced by a set of formulas $p(\bar{x},\bar{y})$.

O livro reúne 19 artigos apresentados no I Simpósio Internacional de Ética e Política (Mestrado em Filosofia da UFG, 1996). Embora demarcado por limites - sejam inerentes à própria reflexão filosófica, sejam contigentes à abordagem conceitual do tema -, o tema da ética na política oferece contribuições para uma ação com o bem comum. Os textos recuperam aspectos da história do pensamento político ocidental, como também dão seguimento a essa história, oferecendo argumentos para a abordagem teórica da ética e da (...) política. (shrink)

Considerando a relevância da interação entre os homens, e que se dá de maneira privilegiada no âmbito dos processos comunicativos, filósofos e lingüistas do Brasil e da Alemanha juntaram-se para investigar o fenômeno da interação comunicativa. Os resultados dessa investigação estão reunidos nos artigos desta coletânea.

We present a self-contained exposition of the basic aspects of simple theories while developing the fundamentals of forking calculus. We expound also the deeper aspects of S. Shelah's 1980 paper Simple unstable theories. The concept of weak dividing has been replaced with that of forking. The exposition is from a contemporary perspective and takes into account contributions due to S. Buechler, E. Hrushovski, B. Kim, O. Lessmann, S. Shelah and A. Pillay.

We present a framework for model theoretic forcing in a non first order context, and present some applications of this framework to Banach space theory.

Tomo I. Una antología comentada de su obra -- Tomo II. Una antología comentada.

Business students from the three NAFTA countries were shown a possible Sexual Harassment scenario from Arthur Andersen’s Business Ethics Program. They were asked to respond to a pre-questionnaire concerning the three characters’ behaviors and possible actions and a post-questionnaire after writing a report from the points of view of the three characters in the scenario. The students were asked to consider whether the characters should report the possible harasser to their supervisor, and thus engage in whistle-blowing behavior, as well as (...) directly confront the harasser. Hypotheses are formulated for the three NAFTA countries based on Hofstede’s cultural dimensions. There were significant differences, but in some cases not in the direction expected. Gender differences are also explored, but there were few significant differences. (shrink)

Given a convergence theorem in analysis, under very general conditions a model-theoretic compactness argument implies that there is a uniform bound on the rate of metastability. We illustrate with three examples from ergodic theory.

In this paper Marie-Jose N'zengou-Tayo draws on a variety of sources, both historical and contemporary, to describe the journey of Haitian women from nineteenth-century post-War of Independence, to present-day Haitian society. The paper is divided in two sections. In the first, the author traces a brief social history of women, quoting anthropological and sociological studies from the 1930s to the 1970s. She begins with rural peasant women noting their significant involvement in farming, marketing and in the internal food trade sector. (...) The development of polygamy and common law unions as the most common form of conjugal union is seen as a practical response to survival in rural Haiti. The author notes the major impact on women's lives of continued political upheavals, violent repression, rural degradation and migration to the cities. Opportunities for employment in a deprived urban setting, and women's initiatives in income generating are also described under the Duvalier regimes. A brief overview of the lives of the middle class is included, although there is a paucity of research in this area available to the author. Violence against women is a regular threat facing domestic workers, and a means of repression used by the state against women across classes. In the second section N'Zengou-Tayo addresses the literary representation of Haitian women by both female and male Haitian writers. The paper examines how female writers have developed subversive narrative strategies to shape a female identity in order to break away from the stereotypes portrayed in men's writing. N'Zengou-Tayo concludes that the tremendous contribution of Haitian women to their society has neither been recognized nor documented. Despite this, the resilience of Haitian women, whether in their daily lives or in their writing, has enabled them to make strides towards improving their lives. (shrink)

In this article, we review the conceptions of Collective Effervescence (CE) –a state of intense shared emotional activation and sense of unison that emerges during instances of collective behavior, like demonstrations, rituals, ceremonies, celebrations, and others– and empirical approaches oriented at measuring it. The first section starts examining Émile Durkheim's classical conception on CE, and then, the integrative one proposed by the sociologist Randall Collins, leading to a multi-faceted experience of synchronization. Then, we analyze the construct as a process emerging (...) in collective encounters when individuals contact with social ideal and values, referring to the classical work of Serge Moscovici as well as those more recent empirical approaches. Third, we consider CE as a set of intense positive emotions linked to processes of group identification, as proposed by authors of the Social Identity Theory tradition. Finally, we describe CE from the perspective of self-transcendence (e.g., emotions, experiences), and propose a unified description of this construct. The second section shows the results of a meta-analytical integration (k= 50,N= 182,738) aimed at analyzing CE's proximal effects or construct validity (i.e., Individual Emotions and Communal Sharing) as well as its association with more distal variables, such as Collective Emotions, Social Integration, Social Values and Beliefs and Empowerment. Results indicate that CE strongly associates with Individual Emotions –in particular, Self-Transcendent Emotions– and Communal Sharing constructs (e.g., Group Identity, Fusion of Identity), providing construct validity. Among the distal effects of CE, it is associated with Collective Positive Emotions, long-term Social Integration (e.g., Ingroup Commitment), Social Values and Beliefs and Empowerment-related variables (e.g., Wellbeing, Collective Efficacy, Collective Self-Esteem). Among the moderation analyses carried out (e.g., study design, CE scale, type of collective gathering), the effects of CE in demonstrations are noticeable, where this variable is a factor that favors other variables that make collective action possible, such as Group Identity (rpooled= 0.52), Collective Efficacy (rpooled= 0.37), Negative and Self-Transcendent Emotions (rpooled= 0.14 and 0.58), and Morality-related beliefs (rpooled= 0.43). (shrink)